Uni-la

Polytypic Uni cation

Uni cation or two way pattern matching is the process of solving an equation involving two rst order terms with variables Uni cation is used in type inference in many pro gramming languages and in the execution of logic programs This means that uni cation algorithms have to be written over and over again for di erent term types Many other functions also make sense for a large class of datatypes...

Fuzzy uni cation degree

This paper constitutes a re nement of the fuzzy uni cation algorithm based on fuzzy compatibility relations, which we have developed with the aim of including the data type fuzzy set in a logic programming environment which supports a family of in nitely-valued logics. To be precise, we treat the problem of fuzzy uni cation by focusing on the distinction between general and speci c knowledge. F...

Publikationsverzeichnis 1999 – Uni Köln

Originalarbeiten Binder T, Assayag P, Baer FM, Flachskampf F, Kamp O, Nienaber C, Nihoyannopoulos, P, Pierard L, Steg G, Vanoverschelde JL, van der Wouw P, Meland N, Marelli C, Lindvall K NC100100, a new echo contrast agent for the assessment of myocardial perfusion safety and comparison with technetium-99m sestamibi single-photon emission computed tomography in a randomized multicenter study C...

Uni-leaflet mitral valve.

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . doi:10.1093/ejechocard/jer027 Online publish-ahead-...

Etude sur la digestion pancratique de la caseine pour la production de la toxine tetanique